Philosophy Dictionary of ArgumentsHome | |||
| |||
Disjunction: linking two or more statements by an inclusive "or". The disjunction is only false when all disjuncts are false. Notation v. See also adjunction, alternation, conjunction, compound sentences._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Logic Texts on Disjunction - Dictionary of Arguments
Read III 79 Disjunction / tautology / Read: In a sense, "A or B" follows from A alone - but then is not equivalent to "if ~ A, then B". Logical Constants. Undecidability: Re III 262 Not constructive: e.g. the proof that there are two irrational numbers a and b, so that a is highly b rational (the disjunction of alternatives is constructively unacceptable here). We have no construction by which we can determine whether root 2 to the power of root 2 is rational or not). The excluded third party is therefore intuitionistic and not a substantial assertion. >Undecidability, >Intuitionism. Goldbach's conjecture: every even number greater than two should be the sum of two prime numbers. Not decidable. But we must not claim that it is either true or not. Theorem of the Excluded Middle/Constructivism/Read: Constructivists often present so-called "weak counterexamples" against the Excluded Third. If a is a real number, "a= 0" is not decidable. Consequently, the constructivist cannot claim that all real numbers are either identical with zero or not. (But this is more a question of representation). >Excluded middle, >Goldbach's conjecture._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Logic Texts Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logic, Englewood Cliffs, New Jersey 1973 - German: Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxes, Cambridge/New York/Melbourne 1995 - German: Paradoxien Stuttgart 2001 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |